\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Getting Started}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.1}Running a Sample File}{2}}
\newlabel{sec:sample}{{1.1}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.2}Preparing and Running {\string\prm\space L\kern -.36em\raise .3ex\hbox {\string\psc\space a}\kern -.15em T\kern -.1667em\lower .7ex\hbox {E}\kern -.125emX}\ on Your Own Files}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Carrying On}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}{\string\prm\space L\kern -.36em\raise .3ex\hbox {\string\psc\space a}\kern -.15em T\kern -.1667em\lower .7ex\hbox {E}\kern -.125emX}\ on SAIL}{3}}
\newlabel{sec:op-system}{{2.1}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}Document Styles}{4}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.2.1}The {\string\ptt\space proc} Style Option}{4}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.2.2}The {\string\ptt\space bezier} Style Option}{5}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {2.2.3}The {\string\ptt\space ifthen} Style Option}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.3}Where the Files Are}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.4}Running {\string\ptt\space lablst.tex} and {\string\ptt\space idx.tex}}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.5}Differences from the Manual}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.6}Using {\string\prm\space B\kern -.05em{\string\psc\space i\kern -.025em b}\kern -.08em T\kern -.1667em\lower .7ex\hbox {E}\kern -.125emX}}{7}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.7}Using {\string\prm\space S\kern -.06em{\string\psc\space l\kern -.035emi}\kern -.06em T\kern -.1667em\lower .7ex\hbox {E}\kern -.125emX}}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.8}Fonts}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.9}Special Versions}{8}}
\@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {1}{\ignorespaces Type sizes for {\string\prm\space L\kern -.36em\raise .3ex\hbox {\string\psc\space a}\kern -.15em T\kern -.1667em\lower .7ex\hbox {E}\kern -.125emX}\ size-changing commands.}}{9}}
\newlabel{tab:styles}{{1}{9}}
\@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {2}{\ignorespaces Font classes: P = preloaded, D = loaded on demand, X = unavailable.}}{9}}
\newlabel{tab:fonts}{{2}{9}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Errata and Additions to the Manual}{10}}